1

Introduction to computability logic

Année:
2003
Langue:
english
Fichier:
PDF, 718 KB
english, 2003
4

The intuitionistic fragment of computability logic at the propositional level

Année:
2007
Langue:
english
Fichier:
PDF, 721 KB
english, 2007
5

The logic of tasks

Année:
2002
Langue:
english
Fichier:
PDF, 230 KB
english, 2002
6

Propositional computability logic I

Année:
2006
Langue:
english
Fichier:
PDF, 204 KB
english, 2006
9

A constructive game semantics for the language of linear logic

Année:
1997
Langue:
english
Fichier:
PDF, 5.07 MB
english, 1997
10

Exact results in the two-dimensional U(1)-symmetric Thirring model

Année:
1984
Langue:
english
Fichier:
PDF, 1.35 MB
english, 1984
13

Propositional computability logic II

Année:
2006
Langue:
english
Fichier:
PDF, 245 KB
english, 2006
14

Strongly correlated Fermi systems as a new state of matter

Année:
2016
Langue:
english
Fichier:
PDF, 1.76 MB
english, 2016
18

From truth to computability I

Année:
2006
Langue:
english
Fichier:
PDF, 448 KB
english, 2006
19

Heat capacity peculiarities of DNA at low temperatures (2–25 K)

Année:
1997
Langue:
english
Fichier:
PDF, 437 KB
english, 1997
22

From truth to computability II

Année:
2007
Langue:
english
Fichier:
PDF, 680 KB
english, 2007
23

Gauge invariance and the prescription for the axial denominator

Année:
1989
Langue:
english
Fichier:
PDF, 272 KB
english, 1989
26

Iterative solutions to quantum-mechanical problems

Année:
1998
Langue:
english
Fichier:
PDF, 307 KB
english, 1998
29

Introduction to Cirquent Calculus and Abstract Resource Semantics

Année:
2006
Langue:
english
Fichier:
PDF, 864 KB
english, 2006
30

Regularized Integrable Version of the One-Dimensional Quantum Sine-Gordon Model

Année:
1983
Langue:
english
Fichier:
PDF, 294 KB
english, 1983
32

The Quantum Group and Harper Equation on a Honeycomb Lattice

Année:
2016
Langue:
english
Fichier:
PDF, 218 KB
english, 2016
33

Synthesizing Majorana zero-energy modes in a periodically gated quantum wire

Année:
2016
Langue:
english
Fichier:
PDF, 1.71 MB
english, 2016
39

Envy, inequality and fertility

Année:
2018
Langue:
english
Fichier:
PDF, 1.02 MB
english, 2018
42

The one-dimensional 1/4-filled Hubbard model with alternating interactions

Année:
1993
Langue:
english
Fichier:
PDF, 633 KB
english, 1993
43

Electrons with correlated hopping interaction in one dimension

Année:
1994
Langue:
english
Fichier:
PDF, 916 KB
english, 1994
44

Electrons with alternating on-site and correlated hopping interactions

Année:
1994
Langue:
english
Fichier:
PDF, 854 KB
english, 1994
49

Magnetic properties of a one-dimensional interacting Fermi system

Année:
1981
Langue:
english
Fichier:
PDF, 264 KB
english, 1981